Encoding Large Asynchronous Controllers With ILP Techniques
نویسندگان
چکیده
منابع مشابه
Generating normative rules with ILP techniques
This paper describes the use of inductive logic programming techniques in a legislative drafting environment. The drafter supplies a set of positive and negative situations. These situations are transformed into normative rules, i.e. rules that oblige, forbid or permit behaviour. Drafters may impose four diierent types of requirements on the rule generation process, in order to obtain alternati...
متن کاملStabilization of systems with asynchronous sensors and controllers
We study the stabilization of networked control systems with asynchronous sensors and controllers. Offsets between the sensor and controller clocks are unknown and modeled as parametric uncertainty. First we consider multi-input linear systems and provide a sufficient condition for the existence of linear time-invariant controllers that are capable of stabilizing the closed-loop system for ever...
متن کاملDynamic Voltage Scaling with Asynchronous Period Adjustment for Embedded Controllers
Due to inherent energy constraints, batterypowered embedded controllers must operate in energy-efficient fashion while guaranteeing required Quality of Control (QoC). Although Dynamic Voltage Scaling (DVS) is promising in energy saving, pure DVS schemes don’t take into account the actual resource requirements of the target applications. To reduce energy consumption of embedded controllers execu...
متن کاملAutomatic Synthesis of Burst-mode Asynchronous Controllers
Asynchronous design has enjoyed a revival of interest recently, as designers seek to eliminate penalties of traditional synchronous design. In principle, asynchronous methods promise to avoid overhead due to clock s k ew, worst-case design assumptions and resynchronization of asynchronous external inputs. In practice, however, many asynchronous design methods suuer from a number of problems: un...
متن کاملA Decidable Class of Asynchronous Distributed Controllers
We study the problem of synthesizing controllers in a natural distributed asynchronous setting: a finite set of plants interact with their local environments and communicate with each other by synchronizing on common actions. The controller-synthesis problem is to come up with a local strategy for each plant such that the controlled behaviour of the network meets a specification. We consider li...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
سال: 2008
ISSN: 0278-0070,1937-4151
DOI: 10.1109/tcad.2007.907238